منابع مشابه
Periodic radial velocity variations in RU Lupi ⋆
Context. RU Lup is a Classical T Tauri star with unusually strong emission lines, which has been interpreted as manifestations of accretion. Recently, evidence has accumulated that this star might have a variable radial velocity. Aims. We intended to investigate in more detail the possible variability in radial velocity using a set of 68 high-resolution spectra taken at the VLT (UVES), the AAT ...
متن کاملKAT and PHL in Coq
In this article we describe an implementation of Kleene algebra with tests (KAT) in the Coq theorem prover. KAT is an equational system that has been successfully applied in program verification and, in particular, it subsumes the propositional Hoare logic (PHL). We also present an PHL encoding in KAT, by deriving its deduction rules as theorems of KAT. Some examples of simple program's formal ...
متن کاملPns125 227..233
The obesity epidemic and its associated morbidity and mortality have led to major research efforts to identify mechanisms that regulate appetite. Gut hormones have recently been found to be an important element in appetite regulation as a result of the signals from the periphery to the brain. Candidate hormones include ghrelin, peptide YY, glucagon-like peptide-1 and gastric inhibitory polypept...
متن کامل219-227 Hill.indd
Geopolitical competition between Russia and the US and EU on the periphery of the former USSR has complicated efforts to resolve lingering conflicts in Abkhazia, South Ossetia, Nagorno-Karabakh, and Transnistria. Regional and great power rivalries often obscure the distinctive local factors in each of these conflicts, which are ultimately crucial to their resolution. In addition, changes in loc...
متن کاملGuest Editorial 225..227
We are witnessing a global financial and economic crisis, which may have far-reaching, and at least recently, unforeseeable consequences on the future and development of world science and technology. Control theory has always been an area of science driven by technology. From the statistical filtering solution formulated by R. Kalman in the early 1960s, devised for answering the needs of NASA's...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Monthly Notices of the Royal Astronomical Society
سال: 1987
ISSN: 0035-8711,1365-2966
DOI: 10.1093/mnras/224.1.231